Перевод: с английского на все языки

со всех языков на английский

proof test model

См. также в других словарях:

  • Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… …   Wikipedia

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… …   Wikipedia

  • test — I (New American Roget s College Thesaurus) n. examination; trial, essay; criterion; experiment. II (Roget s IV) n. 1. [A check for adequacy] Syn. inspection, analysis, countdown, probing, inquiry, inquest, elimination, proving ground(s), training …   English dictionary for students

  • Test (student assessment) — A test or an examination (or exam ) is an assessment, often administered on paper or on the computer, intended to measure the test takers or respondents (often a student) knowledge, skills, aptitudes, or classification in many other topics (e.g …   Wikipedia

  • Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

  • model theory — The use of a model to test for the consistency of an axiomatized system is older than modern logic. Descartes s algebraic interpretation of Euclidean geometry provides a way of showing that if the theory of real numbers is consistent, so is the… …   Philosophy dictionary

  • test — Synonyms and related words: Bernreuter personality inventory, Binet Simon test, Brown personality inventory, Goldstein Sheerer test, IQ, IQ test, Kent mental test, Minnesota preschool scale, Olympic games, Olympics, Oseretsky test, Pap test,… …   Moby Thesaurus

  • model — n 1. prototype, archetype, type; mold, original, protoplast, example, pattern, design, paradigm, sample; standard, criterion, gauge, norm, test, rule, precedent, touchstone, canon, principle. 2. epitome, ideal, exemplar, paragon, beau ideal,… …   A Note on the Style of the synonym finder

  • Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… …   Wikipedia

  • Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»